PEGTL -- Parsing Expression Grammar Template Library
github.comยท15hยท
Discuss: Hacker News
๐Ÿ”—Monadic Parsing
On Union-Closedness of Language Generation
arxiv.orgยท1d
๐Ÿ”—Monadic Parsing
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.comยท18h
๐Ÿค–Grammar Induction
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท1d
๐Ÿ“Concrete Syntax
Song recommendations from F# combinators
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
LR(1) parse-tables generator
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Z3 Parsing
๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `30`
dev.toยท6hยท
Discuss: DEV
๐Ÿ“Error Bounds
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.orgยท10h
๐Ÿ’ปLocal LLMs
Why does the Rust compiler use TokenTree instead of flat token streams?
reddit.comยท1dยท
Discuss: r/rust
๐Ÿ”’Linear Types
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท14h
๐ŸงฎProlog Parsing
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioยท2d
ฮปLambda Encodings
The more LLMs think, the worse they translate
nuenki.appยท2hยท
Discuss: Hacker News
โš™๏ธCompression Benchmarking
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท3hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
The Bitter Lesson is coming for Tokenization
lucalp.devยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Monadic Parsing
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.toยท1hยท
Discuss: DEV
๐Ÿค–Lisp Machines
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.orgยท1d
๐Ÿ”—Monadic Parsing
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs